Synchronous programming languages - PDFSEARCH.IO - Document Search Engine

Synchronous programming languages
Results: 44

#	Item
21	COMPLIANCE TO IEC60880 WITH SCADE 6 – DESIGN AND IMPLEMENTATION ASPECTS (ABSTRACT) Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2013-04-25 05:30:21 Safety Esterel Technologies Esterel IEC 61508 Computing Software engineering SIGNAL Functional Safety Software development process Hardware description languages Synchronous programming languages Formal methods
22	Technical Data Sheet SCADE Suite® KCG 6.4 IECCertification Kit Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:22:42 Safety Esterel Kyoto Computer Gakuin IEC 61508 Esterel Technologies Hardware description languages Synchronous programming languages
23	It all depends on the blades / Auf die Schaufeln kommt es an Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:45 Hardware description languages Synchronous programming languages Software Formal methods Technology Safety Lustre Software development Esterel Technologies Systems engineering
24	Critical Systems & Software Development Solutions SCADE® Model-Based Development Solutions ACADEMIC PROGRAM Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:25 Synchronous programming languages Computing Software engineering Lustre Model-driven engineering Esterel Technologies Software development Hardware description languages
25	TinLizzie WysiWiki and WikiPhone: Alternative approaches to asynchronous and synchronous collaboration on the Web Yoshiki Oshima, Takashi Yamamiya, Scott Wallace, and Andreas Raab Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:14 Scripting languages Web development Squeak Etoys JavaScript World Wide Web Tweak programming environment Web application X Window System Computing Software Visual programming languages
26	– – DRAFT, extended abstract submitted to IFL 2014 – – Stream Processing for Embedded Domain Specific Languages Markus Aronsson Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Digital signal processing Filter theory Programming paradigms Hardware description languages Synchronous programming languages Lucid Dataflow programming SIGNAL Dataflow Computing Software engineering Computer programming
27	Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Cross-platform software Models of computation Compiler construction Procedural programming languages Programming paradigms Stream processing Java virtual machine Scheme Actor model Computing Software engineering Computer programming
28	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
29	COLA – The Component Language Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian K¨ uhnel, Florian M¨ uller, Zhonglei Wang, Doris Wild, Sabine Rittmann Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-10-29 20:08:38 Computing Electronic engineering Formal methods Software engineering Cybernetics SIGNAL Finite-state machine Lustre Dataflow Hardware description languages Synchronous programming languages Models of computation